Vergil's Res Romanae

North End Res

Res Judicata in California

Nucleic Acids Res

DNA microarrays enable users to obtain information on differences in transcript abundance on a massively parallel scale. Recently, however, data analyses have revealed potential pitfalls related to image acquisition, variability and misclassifications in replicate measurements, crosshybridization and sensitivity limitations. We have generated a series of analytical tools to address the manufact...

RES 162 doc FINAL. qxp4

Short $\mathsf{Res}^*(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations

In this note we show that any k-CNF which can be refuted by a quasi-polynomial Res(polylog) refutation has a “narrow” refutation in Res (i.e., of poly-logarithmic width). Notice that while Res(polylog) is a complete proof system, this is not the case for Res if we ask for a narrow refutation. In particular is not even possible to express all CNFs with narrow clauses. But even for constant width...